1. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Temporal logic
پدیدآورنده : [by] Nicholas Rescher and Alasdair Urquhart
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Time,Modality (Logic)
رده :
BC
,
135
,.
R448
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)